Formal Verification of a Decision-Tree Ensemble Model and Detection of Its Violation Ranges
نویسندگان
چکیده
منابع مشابه
Fault Detection in Ring Based Smart LVDC Microgrid Using Ensemble of Decision Tree
In modern infrastructure, the demand for DC power-based appliances is rapidly increasing, and this phenomenon has created a positive impact on the acceptance of the DC microgrid. However, due to numerous issues such as the absence of zero crossing, bidirectional behaviour of sources, and different magnitudes of fault current during grid connected and islanded modes of operation, protecting DC m...
متن کاملtransference of imagery: a comparative formalistic study of shakespeares hamlet and its two persian translations
هدف از این تحقیق بررسی انتقال صور خیال هملت در دو ترجمه ی فارسی آن از نظر فرمالیستی بود. برای بدست آوردن داده-های مورد نیاز، 130 نمونه استعاره، مجاز، ایهام، کنایه و پارادوکس در متن اصلی مشخص شده و سپس بر اساس مدل نیومارک (1998) برای ترجمه ی استعاره یا بطور کلی زبان مجاز با معادل های فارسی شان مقایسه گردیدند. این تحقیق بر آن بود تا روش های استفاده شده برای ترجمه هر کدام از انواع زبان مجاز ذکر شد...
15 صفحه اولthe innovation of a statistical model to estimate dependable rainfall (dr) and develop it for determination and classification of drought and wet years of iran
آب حاصل از بارش منبع تأمین نیازهای بی شمار جانداران به ویژه انسان است و هرگونه کاهش در کم و کیف آن مستقیماً حیات موجودات زنده را تحت تأثیر منفی قرار می دهد. نوسان سال به سال بارش از ویژگی های اساسی و بسیار مهم بارش های سالانه ایران محسوب می شود که آثار زیان بار آن در تمام عرصه های اقتصادی، اجتماعی و حتی سیاسی- امنیتی به نحوی منعکس می شود. چون میزان آب ناشی از بارش یکی از مولفه های اصلی برنامه ...
15 صفحه اولDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملa tripartite model of efl teachers attributions, burnout, and self-regulation: towards the prospects of effective teaching
همطالعه حاضر به ارائه مدلی برای آموزش موثر زبان انگلیسی می پردازد. مدل حاضر از سه عامل تاثیر گذار در کارایی تدریس معلمان زبان انگلیسی بهره می برد. این سه عامل شامل سبکهای اسنادی، خود تنطیمی و فرسودگی شغلی معلمان ایرانی زبان انگلیسی می باشد. رساله مورد نظر درچهار فاز طراحی شده است: فاز اول شامل طراحی و رواسازی پرسشنامه سبکهای اسنادی معلمان زبان انگلیسی و فاز دوم شامل استفاده از این پرسشنا...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEICE Transactions on Information and Systems
سال: 2020
ISSN: 0916-8532,1745-1361
DOI: 10.1587/transinf.2019edp7120